\begin{nusmvCommand} {unalias} {Removes the definition of an alias.}
 
\cmdLine{unalias [-h] <alias-names>}

Removes the definition of an alias specified via the \command{alias} command.

\begin{cmdOpt}
\opt{<alias-names>}{ Aliases to be removed}
\end{cmdOpt}

\end{nusmvCommand}
